Introduction to digital electronics